English translation for "skolem function"

斯柯伦函数

Related Translations:

skolem:  期柯伦

skolem范式:  skolem normal form

skolem悖论:  skolem's paradox

skolem函数:  skolem normal form

skolem standard form:  斯柯伦范式

skolem normal form:  skolem范式skolem函数斯科伦范式

Example Sentences:

1.

In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown 本文给出了是否能抽取出无skolem函数的程序的充分必要条件，同时给出了抽取算法。

Similar Words：

"skoldvall" English translation, "skoldvik" English translation, "skole" English translation, "skolek" English translation, "skolem" English translation, "skolem normal form" English translation, "skolem standard form" English translation, "skolem范式" English translation, "skolem函数" English translation, "skolem悖论" English translation